Semantic reasoner - PDFSEARCH.IO - Document Search Engine

Semantic reasoner
Results: 196

#	Item
161	Expressive Querying of Semantic Databases with Incremental Query Rewriting Alexandre Riazanov, UNB Saint John joint work with Marcelo A. T. Arag˜ ao, Manchester Univ. and Central Bank of Brazil Add to Reading List Source URL: riazanov.webs.com Language: English Data RDF Query languages Computer languages Web services SPARQL Triplestore Sesame Semantic reasoner Semantic Web Data management Computing
162	RMonto: Ontological Extension to RapidMiner Jedrzej Potoniec, Agnieszka Lawrynowicz Institute of Computing Science, Pozna´ n University of Technology, Pozna´ n, Poland, Add to Reading List Source URL: iswc2011.semanticweb.org Language: English - Date: 2011-09-19 14:58:11 Knowledge representation Web services Data mining Semantic Web Data analysis RapidMiner SPARQL Association rule learning Semantic reasoner Science Statistics Computing
163	Reasoning in Description Logics by a Reduction to Disjunctive Datalog Ullrich Hustadt Department of Computer Science, University of Liverpool, Liverpool, UK Boris Motik Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-05 10:16:49 Reasoning Information Programming paradigms Semantic Web Datalog Abox Tbox Description logic Semantic reasoner Logic Science Ontology
164	ISSN[removed]Technical Report N O Add to Reading List Source URL: computing-reports.open.ac.uk Language: English - Date: 2012-05-31 10:22:18 Science Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner Axiom Entailment Semantic Web Information Ontology
165	Planning Accessible Explanations for Entailments in OWL Ontologies Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams The Open University Milton Keynes, United Kingdom {t.nguyen,r.power,p.piwek,s.h.williams}@o Add to Reading List Source URL: aclweb.org Language: English - Date: 2012-07-18 14:14:03 Propositional calculus Mathematical logic Formal systems Axiom Entailment Inference Mathematical proof Semantic reasoner Logic Logical consequence Reasoning
166	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Knowledge representation Knowledge engineering Information science Non-classical logic Semantic reasoner Description logic Method of analytic tableaux Web Ontology Language Semantic Web Logic Science
167	RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof1,2 and Axel Polleres1 1 Add to Reading List Source URL: stefanbischof.at Language: English - Date: 2013-06-13 06:01:42 Information RDF Ontology Query languages Database theory RDF Schema Web Ontology Language SPARQL Semantic reasoner Semantic Web Data management Computing
168	Representing and reasoning with modular ontologies by Jie Bao Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-12-02 20:31:04 Science Information science Knowledge representation Knowledge engineering Description logic Web Ontology Language Semantic reasoner Cyc Semantics Ontology Information Semantic Web
169	RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof and Axel Polleres Add to Reading List Source URL: stefanbischof.at Language: English - Date: 2013-06-13 06:04:58 Information RDF Query languages Knowledge representation RDF Schema Metadata SPARQL Semantic reasoner RDF query language Semantic Web Data management Computing
170	Approximating OWL-DL Ontologies Edward Thomas and Jeff Z. Pan Department of Computing Science, University of Aberdeen, Aberdeen AB24 3UE, UK Abstract. In this poster, we propose to recast the idea of knowledge compilatio Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Data Science Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner KAON Semantic Web Ontology Information

UPDATE